#include <pthread.h>

int main(){
    PTHREAD_MUTEX_INITIALIZER;

    pthread_mutex_init();
}